structure BinIO = struct
end;
